@InProceedings{LaranjeiroGoScMoCaLoMi:2019:AdVeVa,
               author = "Laranjeiro, Nuno and Gomez, Camilo and Schiavone, Enrico and 
                         Montecchi, Leonardo and Carvalho, Manoel Jozeane Mafra de and 
                         Lollini, Paolo and Micskei, Zolt{\'a}n",
          affiliation = "{Universidade de Coimbra} and {Universidad de los Andes} and 
                         ResilTech and {Universidade Estadual de Campinas (UNICAMP)} and 
                         {Instituto Nacional de Pesquisas Espaciais (INPE)} and 
                         {Universit{\`a} degli Studi di Firenze} and {Budapest University 
                         of Technology and Economics}",
                title = "Addressing verification and validation challenges in future 
                         cyber-physical systems",
                 year = "2019",
         organization = "Latin-American Symposium on Dependable Computing, 9. (LADC)",
  conference-location = "Nata, RN",
      conference-year = "19-21 Nov.",
             language = "en",
           targetfile = "Addressing Verification and Validation Challenges in Future 
                         Cyber-Physical Systems.pdf",
        urlaccessdate = "27 abr. 2024"
}